Module isotope::ctx::subst [−][src]
Expand description
Contexts for substituting terms
Structs
Shift | Shift a term up or down by an amount |
SubstSlice | A simple slice of substitutions |
SubstVec | A simple vector of substitutions |
Traits
EvalCtx | A context for evaluating terms |
SubstCtx | A context for substituting terms |